<html>
<head>
<title>pickle</title>
</head>
<body>
<h1>pickle</h1>
Convert the current interpreter to a portable text format (called a "pickle".)</body>
</html>

